Search Results

An Introduction to Refinement Types

An Introduction to Refinement Types

Implementing the Refinement Types Tutorial (Intro)

Implementing the Refinement Types Tutorial (Intro)

Pursuing Practical Refinement Types by Michael Perucca

Pursuing Practical Refinement Types by Michael Perucca

$Diffraction Lecture 25: Rietveld Refinements$

Diffraction Lecture 25: Rietveld Refinements

07 Bounded Refinement Types

07 Bounded Refinement Types

[TyDe'22] Structural Refinement Types

[TyDe'22] Structural Refinement Types

Episode 14: Refinement Types

Episode 14: Refinement Types

Functional correctness with refinement types for Rust

Functional correctness with refinement types for Rust

Requirements Engineering

Requirements Engineering

2016 09 29 - Martin Ochajak - Refinement Types for Haskell

2016 09 29 - Martin Ochajak - Refinement Types for Haskell

Program Synthesis from Refinement Types

Program Synthesis from Refinement Types

#PLTalk: Refinement Types for Secure Web Applications

#PLTalk: Refinement Types for Secure Web Applications